منابع مشابه
Designing volleyball talent identification software based on fuzzy logic
Using appropriate devices and scientific methods by coaches and trainers can accelerate the process of sport talent identification and development, and could also provide condition in which capable athletes to be directed in to suitable sport according to their abilities and skills. Former researches in scope of sport talent identification usually have been done in order to determine or normali...
متن کاملModeling Software Development Methodologies: A Logic Based Approach
In the last two decades, the growing trend of software development industry has made different aspects of software engineering more interesting for the computer science research community. Software development life-cycle is one of these aspects that has a significant impact on the success/failure of software development projects. Since each software development methodology relatively provides i...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA Comparison of Textual Modeling Languages: OCL, Alloy, FOML
Textual modeling languages are used in model-driven engineering for a variety of purposes. Among the most important purposes are querying a model and formulating restrictions like state invariants or operation preand postconditions. This paper compares three such languages. OCL augments UML as a precise language that provides constraint and object query expressions that cannot otherwise be expr...
متن کاملLogic-Based Probabilistic Modeling
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distribution semantics, PRISM’s semantics, which defines a probability measure on a set of possible Herbrand models. We then mention characteristic features of PRISM as a tool for probabilistic modeling.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2020
ISSN: 1660-1769
DOI: 10.5381/jot.2020.19.3.a19